Scheme theory - PDFSEARCH.IO - Document Search Engine

Scheme theory
Results: 835

#	Item
211	ISLAMIC REPUBLIC OF AFGHANISTAN MINISTRY OF Energy & Water Project Coordination Unit Rehabilitation Works for Tarnag Irrigation Scheme- (U-104) Irrigation Restoration and Development Project NATIONAL COMPETITIVE BIDDING Add to Reading List Source URL: www.ards.gov.af Language: English - Date: 2015-05-09 00:54:36 Procurement Manufacturing Purchasing Systems engineering Bidding Bid First-price sealed-bid auction Business Auctioneering Auction theory
212	ISLAMIC REPUBLIC OF AFGHANISTAN MINISTRY OF Energy & Water Project Coordination Unit Rehabilitation Works for Islamabad Irrigation Scheme- (J-197) Irrigation Restoration and Development Project Add to Reading List Source URL: www.ards.gov.af Language: English - Date: 2015-05-06 02:04:27 Procurement Manufacturing Purchasing Systems engineering Bidding First-price sealed-bid auction Business Auctioneering Auction theory
213	Advanced Algorithms – COMS31900Lecture 19 Approximation Algorithms (part four) Asymptotic Polynomial Time Approximation Schemes Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-03-11 09:18:22 Complexity classes Approximation algorithms NP-complete problems Polynomial-time approximation scheme Time complexity NP PTAS L-reduction APX Theoretical computer science Computational complexity theory Applied mathematics
214	µKanren: A Minimal Functional Core for Relational Programming Jason Hemann Daniel P. Friedman Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-01-13 20:04:12 Functional programming Search algorithms Monad Scheme ALGOL 68 Backtracking Software engineering Programming language theory Computer programming
215	Typed Scheme: From Scripts to Programs A dissertation presented by Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Type theory Functional languages Data types Racket Programming language Type system Scheme Matthias Felleisen Type inference Software engineering Programming language theory Computing
216	Recap: Recursive Environments Reminder Mid-Term 1 is Tuesday next week (No homework will be assigned this week) Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2009-02-04 16:35:18 Theory of computation Functions and mappings Recursion Programming idioms Closure Scheme Factorial Vector space Function Mathematics Algebra Subroutines
217	Advanced Algorithms – COMS31900Lecture 19 Approximation Algorithms (part four) Asymptotic Polynomial Time Approximation Schemes Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-03-11 09:18:22 Complexity classes Approximation algorithms NP-complete problems Polynomial-time approximation scheme Time complexity NP PTAS L-reduction APX Theoretical computer science Computational complexity theory Applied mathematics
218	Enhancing Access to Knowledge Management Literature – Proposal for Domain-Based Classification Scheme and Thesauri Add to Reading List Source URL: ickm2014.bilgiyonetimi.net Language: English - Date: 2015-01-02 11:36:12 Information science Library science Knowledge representation Social information processing Organizational theory Thesaurus Knowledge management Knowledge worker Value Information Science Knowledge
219	Recap: Concrete and Abstract Syntax Recap: Concrete and Abstract Syntax Every language X has one concrete syntax Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2009-02-04 16:35:18 Control flow Eval Env Scheme Abstract syntax IMP programming language Functional languages Computing Software engineering Programming language theory
220	X Efficient Voting via The Top-k Elicitation Scheme: A Probabilistic Approach Yuval Filmus, Institute for Advanced Study, USA Joel Oren, University of Toronto, Canada Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2014-02-10 20:39:16 Normal distribution Confidence interval Score Borda count Statistics Estimation theory Econometrics

UPDATE